Add gtk_settings_reset_property
authorMatthias Clasen <mclasen@redhat.com>
Thu, 17 Sep 2015 23:13:39 +0000 (19:13 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 4 Oct 2015 02:42:12 +0000 (22:42 -0400)
commit2f0d4b6868679dd1494868d11f78f5ddcc0a94e2
treedce6e073b2c9fd4ca1b18eb54685d16b584532c1
parentd930ea7c1fc6aa29ee242ef0aaedbad911bed4e1
Add gtk_settings_reset_property

This api undoes an application-specific override and makes the
setting follow the system-wide values again.

https://bugzilla.gnome.org/show_bug.cgi?id=755008
docs/reference/gtk/gtk3-sections.txt
gtk/gtksettings.c
gtk/gtksettings.h